истинное предложение

См. также в других словарях:

• предложение контрфактическое — (от лат. contra против, factum событие) сложное высказывание, в котором с помощью союза если бы..., то бы... объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно сослагательного наклонения …   Словарь терминов логики

• экстенсиональный контекст — предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является принцип взаимозаменимости: если при замене… …   Словарь терминов логики

• парадокс лжеца —         ПАРАДОКС ЛЖЕЦА в своей древнейшей форме, восходящей к античности, предлагает рассмотреть утверждение человека о том, что он лжец (отсюда название парадокса).         С начала 20 в. философы и логики желая абстрагироваться от… …   Энциклопедия эпистемологии и философии науки

• ПРИНЦИП ЗАМЕЩЕНИЯ — правило логич. вывода, основанное на отношении тождества (равенства). В формулировке Джевонса, положившего его в основу своей теории логики, П. з. имеет след. смысл: если А = В и В * С., то А * С., т.е. из равенства Α и Β и того, что В находится… …   Философская энциклопедия

• НЕОПОЗИТИВИЗМ — или логический позитивизм (логический эмпиризм) одно из основных направлений философии 20 в., соединяющее основные установки позитивистской философии с широким использованием технического аппарата математической логики. Основные идеи Н. были… …   Философская энциклопедия

• ИМЯ — выражение языка, которое может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или: «... есть...»). Напр., выражения «Гарвей», «Менделеев» и «человек, открывший кровообращение» являются И.,… …   Философская энциклопедия

• именования теория —         ИМЕНОВАНИЯ ТЕОРИЯ рассматривает один из методов анализа смысла и значения выражений языка метод отношения именования, его принципы, условия и границы применения. В качестве десигнативных (обозначающих) выражений выступают собственные… …   Энциклопедия эпистемологии и философии науки

• интенсиональные контексты —         ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ (от лат. intensio усиление) отличаются от стандартных экстенсиональных языков наличием особых предикатных знаков и операторов, напр. типа «верит, что...», «знает, что...», «ищет...», «необходимо, что...». В этих… …   Энциклопедия эпистемологии и философии науки

• имя — выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п. Напр., слово Наполеон обозначает отдельный предмет Наполеона Бонапарта; слово… …   Словарь терминов логики

• СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… …   Философская энциклопедия

• ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …   Философская энциклопедия